121. Foundations of Information and Knowledge Systems.
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science.,Logic design.
122. Foundations of Intelligent Systems :
پدیدآورنده : edited by Zbigniew W. Raś, Andrzej Skowron.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Information storage and retrieval systems.
123. Foundations of embedded systems /
پدیدآورنده : Alexander Barkalov, Larysa Titarenko and Małgorzata Mazurkiewicz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Embedded computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Embedded computer systems.
رده :
TK7895
.
E42
124. Foundations of probabilistic logic programming :
پدیدآورنده : Fabrizio Riguzzi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
125. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
126. Foundations of software technology and theoretical computer science :
پدیدآورنده : ed. by S.N. Maheshwari.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
127. From Logic Design to Logic Programming:
پدیدآورنده : D Snyers
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.,Computer programming.,Computer science.
رده :
QA76
.
9
.
A96
D769
1987
128. From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده : Snyers, Dominique, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
129. Frontiers of combining systems :
پدیدآورنده : Cesare Tinelli, Viorica Sofronie-Stokkermans (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science, Congresses,Logic, Symbolic and mathematical, Congresses
رده :
QA9
.
A1
F76
2011
130. Functional and constraint logic programming :
پدیدآورنده : Julio Mariño (edition)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses,Mathematical Logic and Formal Languages
رده :
QA76
.
63
.
W45
2011
131. Fundamental research in electrical engineering :
پدیدآورنده : Shahram Montaser Kouhsari, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electrical engineering, Congresses.,Electronics, Congresses.,Telecommunication, Congresses.,Electrical engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Mechanical.,Telecommunication.
رده :
TK7801
132. Fundamentals of Algebraic Specification 2 :
پدیدآورنده : by Hartmut Ehrig, Bernd Mahr.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
L63
B943
1990
133. Fundamentals of HVAC control systems
پدیدآورنده : McDowall, Robert
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Heating -- Control,، Ventilation
رده :
TH
7466
.
5
.
M33
2008
134. Fundamentals of digital logic and microcomputer design /
پدیدآورنده : M. Rafiquzzaman.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic digital computers-- Circuits.,Logic circuits.,Microcomputers-- Design and construction.
رده :
TK7888
.
4
.
R34
2005
135. Funtional Programming Languages in Education :
پدیدآورنده : edited by Pieter H. Hartel, Rinus Plasmeijer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer Science.,Logic design.
رده :
QA76
.
62
E358
1995
136. Fuzzy Evolutionary Computation
پدیدآورنده : edited by Witold Pedrycz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.,Operations research.
137. Fuzzy Logic and Applications
پدیدآورنده : edited by Vito Di Gesú, Francesco Masulli, Alfredo Petrosino.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Computer vision.,Database management.,Database management.,Information organization.,Information retrieval.,Information storage and retrieva.,Artificial Intelligence (incl. Robotics),Computation by Abstract Devices.,Image Processing and Computer Vision.,Mathematical Logic and Formal Languages.
138. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
139. Fuzzy systems design: social and engineering applications
پدیدآورنده : Leonid Reznik, Vladimir Dimitrov, Janusz Kacprzyk )eds.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، System design,، Fuzzy systems,، Logic programming
رده :
QA
76
.
9
.
S88
F89
1998
140. GI - 5. Jahrestagung :
پدیدآورنده : by J. Mühlbacher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.
